Convexity of Reachable Sets of Nonlinear Ordinary Differential Equations
نویسنده
چکیده
This a preprint of the Materials accepted for publication in Automation and Remote Control, vol. 68, no. 9, 2007. c ©Pleiades Publishing, Ltd., 2007. Russian version published in Avtomatika i Telemekhanika, 2007, No. 9. You may find the most current version of this file together with a BibTEX entry at http://www.reiszig.de/gunther/. The definitive publication will be available at http://www.springerlink.com.
منابع مشابه
Convexity of reachable sets of nonlinear ordinary differential equations
We present a necessary and sufficient condition for the reachable set, i.e., the set of states reachable from a ball of initial states at some time, of an ordinary differential equation to be convex. In particular, convexity is guaranteed if the ball of initial states is sufficiently small, and we provide an upper bound on the radius of that ball, which can be directly obtained from the right h...
متن کاملDifferential transform method for a a nonlinear system of differential equations arising in HIV infection of CD4+T cell
In this paper, differential transform method (DTM) is described and is applied to solve systems of nonlinear ordinary differential equations which is arising in HIV infections of cell. Intervals of validity of the solution will be extended by using Pade approximation. The results also will be compared with those results obtained by Runge-Kutta method. The technique is described and is illustrat...
متن کاملFixed point theorems for $alpha$-$psi$-contractive mappings in partially ordered sets and application to ordinary differential equations
In this paper, we introduce $alpha$-$psi$-contractive mapping in partially ordered sets and construct fixed point theorems to solve a first-order ordinary differential equation by existence of its lower solution.
متن کاملBounds on Reachable Sets Using Ordinary Differential Equations with Linear Programs Embedded
This work considers the computation of time-varying enclosures of the reachable sets of nonlinear control systems via the solution of an initial value problem in ordinary differential equations (ODEs) with linear programs (LPs) embedded. To ensure the numerical tractability of such a formulation, the properties of the ODEs with LPs embedded are discussed including existence and uniqueness of th...
متن کاملComputation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
In this paper, we present a new method for computing discrete abstractions of arbitrary memory span for nonlinear sampled systems with quantized output. In our method, abstractions are represented by collections of conservative approximations of reachable sets by polyhedra, which in turn are represented by collections of half-spaces. Important features of our approach are that half-spaces are s...
متن کامل